As gravuras impressas no periódico setecentista Academia dos Humildes e Ignorantes são, neste estudo, fonte para procurar saber quem eram os seus impressores, quantas edições se podem localizar desta obra e qual era o acolhimento por parte do público. As gravuras, sendo um elemento informativo que passa normalmente despercebido, permitem conhecer melhor o próprio periódico onde são publicadas e, assim, perceber o modo como se afirma esse género novo que era o das publicações periódicas de conteúdo cultural e informativo e (...) o papel que estas publicações têm no desenvolvimento da tipografia em Portugal no século XVIII. (shrink)

The Unified Foundational Ontology (UFO) was developed over the last two decades by consistently putting together theories from areas such as formal ontology in philosophy, cognitive science, linguistics, and philosophical logics. It comprises a number of micro-theories addressing fundamental conceptual modeling notions, including entity types and relationship types. The aim of this paper is to summarize the current state of UFO, presenting a formalization of the ontology, along with the analysis of a number of cases to illustrate the application of (...) UFO and facilitate its comparison with other foundational ontologies in this special issue. (The cases originate from the First FOUST Workshop – the Foundational Stance, an international forum dedicated to Foundational Ontology research.). (shrink)

O texto pretende discutir a maneira como Foucault trabalha o problema da constituição do sujeito do cuidado de si – tema que tomou conta de seus últimos livros, cursos, entrevistas e conferências. A problematização deste sujeito e das “técnicas de si” que o constitui surgem na obra do autor a partir do momento em que Foucault reorienta as suas pesquisas sobre as relações de poder ao final dos anos 70, dando início às investigações sobre as formas de governar. Procura-se mostrar (...) que o deslocamento operado pelo autor passa necessariamente por uma problematização das condições de possibilidade a partir das quais as relações de poder, em sua modalidade de “ações sobre ações”, tornam-se possíveis. A liberdade como condição de possibilidade das relações de poder surge na obra de Foucault ao mesmo tempo em que a investigação sobre as “técnicas de si” descortinam a formação de sujeitos éticos. (shrink)

O texto pretende discutir a maneira como Foucault trabalha o problema da constituição do sujeito do cuidado de si – tema que tomou conta de seus últimos livros, cursos, entrevistas e conferências. A problematização deste sujeito e das “técnicas de si” que o constitui surgem na obra do autor a partir do momento em que Foucault reorienta as suas pesquisas sobre as relações de poder ao final dos anos 70, dando início às investigações sobre as formas de governar (governo dos (...) outros). Procura-se mostrar que o deslocamento operado pelo autor passa necessariamente por uma problematização das condições de possibilidade a partir das quais as relações de poder, em sua modalidade de “ações sobre ações”, tornam-se possíveis. A liberdade como condição de possibilidade das relações de poder surge na obra de Foucault ao mesmo tempo em que a investigação sobre as “técnicas de si” descortinam a formação de sujeitos éticos. (shrink)

The Leslie matrix model for discrete population growth has been modified and used several times in population dynamics. A review is given of the basic model and of its principal modifications. The modifications relating to the influences of ‘internal’ or ‘external’ factors to the population are studied with greater detail. The same applies to models where the population is divided in stages rather than in age classes. In the same line, Hadjibiros studied a more general model, where the transition matrix (...) corresponds to a population divided in stages of unequal duration, and where the time varying influences of the ‘internal’ or ‘external’ factors are included. This model offers the possibility of computer simulation of the population dynamics of a natural population represented by a demographic vector. Some kind of relationship is proposed between the general matrix model and the Lefkovitch matrix ; the elements of which, obtained by regression techniques from census data, describe the biological dependance of a stage i at time t + 1 on a stage j at time t. (shrink)

Drawing upon the concepts of civic epistemologies and sociotechnical imaginaries, this article delves into the history of nuclear energy in Portugal, analyzing the ways in which the nuclear endeavor was differently enacted by various sociopolitical collectives – the Fascist State, post-revolutionary governments and the public. Following the 1974 revolution - known as the Carnation Revolution - this paper analyzes how the nuclear project was fiercely contested by a vibrant anti-nuclear movement assembled against the construction of the Ferrel Nuclear Plant, the (...) first sociotechnical controversy in Portugal, paving the way for the emergence of a combative civic epistemology. Supported by semi-structured interviews with scientists, activists and local residents of Ferrel and the analysis of historical material, this article presents the failed Portuguese nuclear endeavor as an emblematic case study to explore the co-production of science and society, in particular the role of revolutionary processes in the unfolding of sociotechnical controversies. (shrink)

Neste trabalho apresentamos uma experiência de estágio realizada em uma escola indígena Kyikatêjê, na região norte do Brasil e analisamos aspectos dessa experiência a partir dos conceitos de autoridade e espaço comunicativo transcultural. Para tanto, descrevemos de modo breve o contexto no qual a pesquisa de estágio ocorreu, destacando os objetivos do estágio, o período de realização e os professores envolvidos. Nesse relato, situamos o ponto de interesse que motivou a escrita do presente trabalho. Indicado nosso objeto de estudos, apresentamos (...) duas seções teóricas que caracterizam a perspectiva com a qual trabalhamos. Na primeira, expomos o conceito de autoridade, entendida a partir do Modelo dos Campos Semânticos. Apresentamos como esse conceito está relacionado à justificação utilizada na produção de conhecimento. Ao fazer isso, afirmamos que nosso interesse se dirige aos aspectos epistemológicos da experiência realizada. Na sessão seguinte, apresentamos o conceito de espaço comunicativo transcultural, como sendo aquelas situações de interação onde duas ou mais culturas se encontram e que a alteridade do espaço constituído nesse encontro, possibilita o compartilhamento de legitimidades entre elas. Após apresentar os conceitos teóricos é apresentada a experiência de estágio de modo a colocar em evidência a relação entre o estagiário, os professores e os alunos e não os conteúdos trabalhos. Na última seção essa experiência de estágio é analisada à luz dos conceitos apresentados. Apontamos na conclusão que o comportamento dos alunos advém de legitimidades constituídas na cultura da qual fazem parte, mas esse comportamento não indica necessariamente uma abertura para o processo de aprendizagem. Apontamos, também, que a criação de um espaço comunicativo que mobiliza as legitimidades da cultura Kyikatêjê na aula de Matemática, privilegiando os modos de produzir conhecimento dessa cultura, oportunizou uma mudança no processo de produção de conhecimento dos alunos. (shrink)

For over a decade now, a community of researchers has contributed to the development of the Unified Foundational Ontology (UFO) - aimed at providing foundations for all major conceptual modeling constructs. This ontology has led to the development of an Ontology-Driven Conceptual Modeling language dubbed OntoUML, reflecting the ontological micro-theories comprising UFO. Over the years, UFO and OntoUML have been successfully employed in a number of academic, industrial and governmental settings to create conceptual models in a variety of different domains. (...) These experiences have pointed out to opportunities of improvement not only to the language itself but also to its underlying theory. In this paper, we take the first step in that direction by revising the theory of types in UFO in response to empirical evidence. The new version of this theory shows that many of the meta-types present in OntoUML (differentiating Kinds, Roles, Phases, Mixins, etc.) should be considered not as restricted to Substantial types but instead should be applied to model Endurant Types in general, including Relator types, Quality types and Mode types. We also contribute a formal characterization of this fragment of the theory, which is then used to advance a metamodel for OntoUML 2.0. Finally, we propose a computational support tool implementing this updated metamodel. (shrink)

O presente estudo visa esclarecer os pontos de convergência entre Paulo Freire e Anísio Teixeira referentes aos temas da produção da democracia no Brasil de fins da década de 1950. Para tanto, são tomados como fonte os textos de Freire Educação e atualidade brasileira e Educação como prática da liberdade. O cotejo das idéias de Anísio e Freire permite observar importantes convergências entre ambos, quanto ao papel da educação na formação dos hábitos democráticos e da construção da sociedade democrática, (...) por meio de grandes esforços educativos. Tal proximidade é bastante perceptível até a segunda obra freireana, Educação como prática da liberdade, ficando menos evidente nas obras posteriores. À medida que Freire produz novos textos e participa de novas experiências políticas e educativas, no Chile, junto aos camponeses, suas reflexões priorizam temas como a ruptura entre opressores e oprimidos e a revolução como ação cultural. (shrink)

Neste texto, discutimos disposições teórico-metodológicas do Grupo de Estudos sobre Numeramento (GEN), na busca de compreender os modos como pessoas, em suas singularidades, mas como sujeitos sociais, se apropriam de práticas matemáticas, tomadas como práticas discursivas. A pesquisa, a formação docente e a atuação do GEN em contextos educativos diversos inserem-se nos campos da Educação Matemática e do Letramento, pois buscam conhecer sujeitos da Educação (crianças, adolescentes, jovens, pessoas adultas e idosas), que, vivendo em sociedades ‘grafocêntricas’ e ‘quanticratas’, movidos por (...) intenções pragmáticas e parametrizados por referências culturais, forjam usos dos sistemas linguísticos relacionados à quantificação, mensuração, ordenação, classificação e organização de formas e espaços. A esses usos chamamos práticas de numeramento. As situações em que as identificamos – os eventos de numeramento –, em seu caráter histórico, são tomadas como unidades da análise das intenções dos usos, dos efeitos de sentido que logram produzir e, principalmente, de como sujeitos se constituem nas interações por eles mediadas, ao produzirem e tensionarem significados. Na seção ‘Compreendendo práticas matemáticas como práticas discursivas: foco, perspectiva e referenciais teórico-metodológicos do Grupo de Estudos sobre Numeramento (GEN)’: explicitamos o propósito do Programa de Pesquisa do Grupo (conhecer sujeitos e grupos sociais que protagonizam práticas de numeramento); justificamos sua base teórica (os Estudos do Letramento como Prática Social; a Pedagogia da Liberdade e da Autonomia; a compreensão da cognição como processo social; e a abordagem sociológica da Linguagem); assumimos a etnografia como lógica de investigação; e propomos a análise de interações como principal tratamento do material empírico. Apontamos também, dadas as especificidades dos sujeitos, a necessidade do diálogo com diversos campos: Educação de Pessoas Jovens, Adultas e Idosas (EJA), Sociologia da/s Infância/s; Estudos da/s Juventude/s; Educação do Campo; Educação Indígena; Educação de Pessoas Surdas; Formação Docente, entre outros. Na seção ‘Compreendendo práticas de numeramento como práticas de letramento: fertilidade analítica e pedagógica das escolhas teóricas’, esclarecemos como nossos estudos se inserem numa perspectiva Etnomatemática, porque contribuem para conhecermos os sujeitos que vemos protagonizar práticas matemáticas ao assumirem posições discursivas – portanto, sociais, culturais e políticas. Na seção ‘Compreendendo a aprendizagem matemática como apropriação de práticas de numeramento: desdobramentos da concepção de práticas matemáticas como práticas discursivas’, apresentamos como o conceito de apropriação de práticas de numeramento, de inspiração vigostskiana, usado para contemplar múltiplos sentidos das ações dos sujeitos em eventos de numeramento, disponibiliza uma ferramenta teórica para compreender a aprendizagem matemática não como experiência cognitiva individual, mas como ação social. Na seção ‘Interlocuções teóricas e disposições analíticas dos estudos mais recentes do GEN’, indicamos como uma análise tridimensional do discurso (do texto, da situação discursiva e da prática social), adotada para conhecer melhor os sujeitos e reconhecê-los como sujeitos sociais, tem-nos conduzido às considerações de Paulo Freire sobre sujeito de cultura, sujeito de conhecimento, sujeito dialógico e sujeito do processo, que compõem o sujeito histórico, protagonista de eventos de numeramento. Na ‘coda’ (‘Reiterando’), reafirmamos o foco de nossa linha de investigação no campo da Educação Matemática: pessoas constituindo-se como sujeitos sociais, enquanto se apropriam de práticas de numeramento. (shrink)

Este relato de experiência discute um eixo de um projeto de ensino, pesquisa e extensão multi e interdisciplinar sobre educação e humanização da morte. Trata-se de ações da Psicologia destinadas à saúde mental dos trabalhadores do serviço funerário da cidade de São Paulo. A intervenção dividiu-se em duas etapas: visitas aos cemitérios, para aproximação daqueles pesquisadores à realidade e às demandas desses servidores; e oficinas com técnicas de dinâmica de grupo. Estas aconteceram por cinco meses, contaram com 130 participantes (...) — motoristas, sepultadores, “veloristas”, supervisores e gestores de recursos humanos — e tiveram como facilitadoras as integrantes da graduação e da pós-graduação em Psicologia. A análise das oficinas evidenciou, da parte dos servidores, sensibilização para suas necessidades em favor da saúde mental, percepção do valor de cuidado e humanização em suas relações profissionais e pessoais. Ademais, ações como essa realçaram a relevância de frequente acolhimento psicólogico a trabalhadores de serviços funerários. (shrink)

We compare fork arrow logic, an extension of arrow logic, and its natural first-order counterpart (the correspondence language) and show that both have the same expressive power. Arrow logic is a modal logic for reasoning about arrow structures, its expressive power is limited to a bounded fragment of first-order logic. Fork arrow logic is obtained by adding to arrow logic the fork modality (related to parallelism and synchronization). As a result, fork arrow logic attains the expressive power of its first-order (...) correspondence language, so both can express the same input-output behavior of processes. (shrink)

A lógica não contém teoremas puramente existenciais: as únicas sentenças existenciaisválidas são aquelas com análogas universais válidas. Aqui, mostramos que istorealmente é assim quando corretamente interpretado: toda validade ex- istencial possuiuma análoga universal simples, que também é válida. Também caracterizamos validadesuniversais e existenciais em termos de tautologias.

Logics for generally were introduced for handling assertions with vague notions,such as generally, most, several, etc., by generalized quantifiers, ultrafilter logic being an interesting case. Here, we show that ultrafilter logic can be faithfully embedded into a first-order theory of certain functions, called coherent. We also use generic functions (akin to Skolem functions) to enable elimination of the generalized quantifier. These devices permit using methods for classical first-order logic to reason about consequence in ultrafilter logic.

A theory of magnitudes involves criteria for their comparison, equivalence and addition. We examine these aspects from an abstract viewpoint, stressing independence and definability. These considerations are triggered by the so-called De Zolt’s principle in the theory of equivalence of plane polygons.

We compare fork arrow logic, an extension of arrow logic, and its natural first-order counterpart (the correspondence language) and show that both have the same expressive power. Arrow logic is a modal logic for reasoning about arrow structures, its expressive power is limited to a bounded fragment of first-order logic. Fork arrow logic is obtained by adding to arrow logic the fork modality (related to parallelism and synchronization). As a result, fork arrow logic attains the expressive power of its first-order (...) correspondence language, so both can express the same input–output behavior of processes. (shrink)

Veloso-Pereira-Haeusler_On-what-there-must-be.

How fast? How strong? How many? So what? Why do numbers matter in biology? Chromatin binding proteins are forever in motion, exchanging rapidly between bound and free pools. How do regulatory systems whose components are in constant flux ensure stability and flexibility? This review explores the application of quantitative and mathematical approaches to mechanisms of epigenetic regulation. We discuss methods for measuring kinetic parameters and protein quantities in living cells, and explore the insights that have been gained by quantifying and (...) modelling dynamics of chromatin binding proteins. (shrink)

O artigo critica a posição filosófica neopirrônica defendida por Oswaldo Porchat Pereira (Porchat 5). Argumentamos que uma de suas noções básicas, a de fenômeno, carece de uma definição apropriada. Além disso, mostramos que o neopirronismo abre as portas para o irracionalismo e que a ciência moderna traz problemas para essa postura.

O renomado poeta, escritor, teatrólogo e estudioso dos autores clássicos, Angelo Tonelli apresenta uma coletânea, no original, traduzida e comentada, dos fragmentos de Heráclito, o pensador de Éfeso (ca. 540-475 a.C.). A grande novidade da obra de Tonelli consiste na recuperação, em termos hermenêuticos, do contexto oriental do pensamento de Heráclito. Já na introdução, Tonelli retoma as dicotomias Oriente/Ocidente, mistérios órficos-dionisíacos/espírito apolíneo, contemplação/ação, para mostrar como o pensador de Éfeso procurou superar tais oposições. Começa seu estudo com as tabuinhas encontradas (...) em Ólbia, cuja datação é incerta, mas que propõe serem anteriores a Heráclito e que, portanto, sugerem uma origem nos mistérios para a sabedoria de Heráclito. (shrink)

Michel Fattal, da Sociedade Platônica Internacional, é professor na Universidade de Grenoble, França, autor de uma dezena de livros sobre o tema do logos, tanto na Filosofia grega, como na sua recepção medieval. Neste novo livro, propõe-se a refletir sobre as diferentes formas de racionalidade, entre a Antiguidade e a Idade Média, com estudos sobre Luciano de Samósata, Parmênides, Platão, Plotino e Santo Anselmo.

MORCILLO, MARTA GARCÍA. LAS VENTAS POR SUBASTA EN EL MUNDO ROMANO: LA ESFERA PRIVADA. Barcelona, Universidad de Barcelona, 2005, 372 pp.

A theory of magnitudes involves criteria for their equivalence, comparison and addition. In this article we examine these aspects from an abstract viewpoint, by focusing on the so-called De Zolt’s postulate in the theory of equivalence of plane polygons (“If a polygon is divided into polygonal parts in any given way, then the union of all but one of these parts is not equivalent to the given polygon”). We formulate an abstract version of this postulate and derive it from some (...) selected principles for magnitudes. We also formulate and derive an abstract version of Euclid’s Common Notion 5 (“The whole is greater than the part”), and analyze its logical relation to the former proposition. These results prove to be relevant for the clarification of some key conceptual aspects of Hilbert’s proof of De Zolt’s postulate, in his classicalFoundations of Geometry(1899). Furthermore, our abstract treatment of this central proposition provides interesting insights for the development of a well-behaved theory ofcompatiblemagnitudes. (shrink)

Enterprise Risk Management involves the process of identification, evaluation, treatment, and communication regarding risks throughout the enterprise. To support the tasks associated with this process, several frameworks and modeling languages have been proposed, such as the Risk and Security Overlay (RSO) of ArchiMate. An ontological investigation of this artifact would reveal its adequacy, capabilities, and limitations w.r.t. the domain of risk and security. Based on that, a language redesign can be proposed as a refinement. Such analysis and redesign have been (...) executed for the risk elements of the RSO grounded in the Common Ontology of Value and Risk. The next step along this line of research is to address the following research problems: What would be the outcome of an ontological analysis of security-related elements of the RSO? That is, can we identify other semantic deficiencies in the RSO through an ontological analysis? Once such an analysis is provided, can we redesign the security elements of the RSO accordingly, in order to produce an improved artifact? Here, with the aid of the Reference Ontology for Security Engineering (ROSE) and the ontological theory of prevention behind it, we address the remaining gap by proceeding with an ontological analysis of the security-related constructs of the RSO. The outcome of this assessment is an ontology-based redesign of the ArchiMate language regarding security modeling. In a nutshell, we report the following contributions: (1) an ontological analysis of the RSO that identifies six limitations concerning security modeling; (2) because of the key role of the notion of prevention in security modeling, the introduction of the ontological theory of prevention in ArchiMate; (3) a well-founded redesign of security elements of ArchiMate; and (4) ontology-based security modeling patterns that are logical consequences of our proposal of redesign due to its underlying ontology of security. As a form of evaluation, we show that our proposal can describe risk treatment options, according to ISO 31000. Finally, besides presenting multiple examples, we proceed with a real-world illustrative application taken from the cybersecurity domain. (shrink)

Enterprise Risk Management and security have become a fundamental part of Enterprise Architecture, so several frameworks and modeling languages have been designed to support the activities associated with these areas. Archi- Mate’s Risk and Security Overlay is one of such proposals, endorsed by The Open Group. We investigate the capabilities of the proposed security-related con- structs in ArchiMate with regard to the necessities of enterprise security modeling. Our analysis relies on a well-founded reference ontology of security to uncover ambiguity, missing (...) modeling elements, and other deficiencies of the security mod- eling capabilities in ArchiMate. Based on this ontologically-founded analysis, we propose a redesign of security aspects of ArchiMate to overcome its original limitations. (shrink)

This paper analyzes the theory of area developed by Euclid in the Elements and its modern reinterpretation in Hilbert’s influential monograph Foundations of Geometry. Particular attention is bestowed upon the role that two specific principles play in these theories, namely the famous common notion 5 and the geometrical proposition known as De Zolt’s postulate. On the one hand, we argue that an adequate elucidation of how these two principles are conceptually related in the theories of Euclid and Hilbert is highly (...) relevant for a better understanding of the respective geometrical practices. On the other hand, we claim that these conceptual relations unveil interesting issues between the two main contemporary approaches to the study of area of plane rectilinear figures, i.e., the geometrical approach consisting in the geometrical theory of equivalence and the metrical approach based on the notion of measure of area. Finally, in an appendix logical relations among equivalence, comparison and addition of magnitudes are examined schematically in an abstract setting. (shrink)

Review of MONTEL, S.; POLLINI, A. La question de l’espace au IVe siècle Avant J-C. dans le mondes grec et étrusco-italique: continuité, ruptures, reprises. Strasbourg, Presses Universitaires de Franche-Comté.

In this paper we show that the class of fork squares has a complete orthodox axiomatization in fork arrow logic (FAL). This result may be seen as an orthodox counterpart of Venema's non-orthodox axiomatization for the class of squares in arrow logic. FAL is the modal logic of fork algebras (FAs) just as arrow logic is the modal logic of relation algebras (RAs). FAs extend RAs by a binary fork operator and are axiomatized by adding three equations to RAs equational (...) axiomatization. A proper FA is an algebra of relations where the fork is induced by an injective operation coding pair formation. In contrast to RAs, FAs are representable by proper ones and their equational theory has the expressive power of full first-order logic. A square semantics (the set of arrows is ᵎ x ᵎ for some set ᵎ) for arrow logic was defined by Y. Venema. Due to the negative results about the finite axiomatizability of representable RAs, Venema provided a non-orthodox finite axiomatization for arrow logic by adding a new rule governing the applications of a difference operator. We address here the question of extending the type of relational structures to define orthodox axiomatizations for the class of squares. Given the connections between this problem and the finitization problem addressed by I. Németi, we suspect that this cannot be done by using only logical operations. The modal version of the FA equations provides an orthodox axiomatization for FAL which is complete in view of the representability of FAs. Here we review this result and carry it further to prove that this orthodox axiomatization for FAL also axiomatizes the class of fork squares. (shrink)

In this paper we show that the class of fork squares has a complete orthodox axiomatization in fork arrow logic (FAL). This result may be seen as an orthodox counterpart of Venema's non-orthodox axiomatization for the class of squares in arrow logic. FAL is the modal logic of fork algebras (FAs) just as arrow logic is the modal logic of relation algebras (RAs). FAs extend RAs by a binary fork operator and are axiomatized by adding three equations to RAs equational (...) axiomatization. A proper FA is an algebra of relations where the fork is induced by an injective operation coding pair formation. In contrast to RAs, FAs are representable by proper ones and their equational theory has the expressive power of full first-order logic. A square semantics (the set of arrows is U×U for some set U) for arrow logic was defined by Y. Venema. Due to the negative results about the finite axiomatizability of representable RAs, Venema provided a non-orthodox finite axiomatization for arrow logic by adding a new rule governing the applications of a difference operator. We address here the question of extending the type of relational structures to define orthodox axiomatizations for the class of squares. Given the connections between this problem and the finitization problem addressed by I. Németi, we suspect that this cannot be done by using only logical operations. The modal version of the FA equations provides an orthodox axiomatization for FAL which is complete in view of the representability of FAs. Here we review this result and carry it further to prove that this orthodox axiomatization for FAL also axiomatizes the class of fork squares. (shrink)